home *** CD-ROM | disk | FTP | other *** search
Text File | 1995-12-30 | 722 b | 23 lines | [TEXT/R*ch] |
- The files in this directory contain definitions mentioned in
-
- "Elements of Functional Programming" by Chris Reade
- published by Addison Wesley, 1989
-
-
- chrisprelude.ML
- defines a structure Chrisprelude (referred to as just Prelude in the book)
- with some general purpose functions.
-
- charpics.ML
- defines a structure Charpics (using Chrisprelude) with an abstract type
- picture for forming character pictures.
-
- life.ML
- defines a structure Life (using Chrisprelude) with functions for calculating
- generations in Conway's game of life.
-
- bintree.ML
- defines a datatype operator bintree along with some related functions and
- uses Charpics in addition to Chrisprelude to form pictures of trees.
-
-